A Comparative Study of Formal Approaches for Web Service Oriented Architecture
نویسندگان
چکیده
منابع مشابه
A Web Service-Oriented Architecture for Implementing Web Information Systems
Web services are one of the most popular ways for building distributed Web Information Systems (WIS). In this paper we propose a distributed implementation of the Hera methodology, a methodology based on models that specify the different aspects of a WIS. The Web services used in the implementation are responsible for capturing the required data transformations built around specific Hera models...
متن کاملFormal Testing Approaches for Service-Oriented Architectures and Web Services: a Systematic Review
Service-oriented architectures and web services have been used as important technologies to foster the development of loosely coupled and distributed applications. Web services pose new challenges for the testing activity, mainly because mission-critical and complex business process systems are implemented with them. In this context, formal testing approaches are necessary to guarantee the serv...
متن کاملp-ADL for WS-Composition: A Service-Oriented Architecture Description Language for the Formal Development of Dynamic Web Service Compositions
Enabling the specification of dynamic service-oriented architectures is a key challenge for an Architecture Description Language (ADL). This paper describes π-ADL for WS-Composition, a novel ADL that has its roots in the ArchWare European Project. It is a formal language specially designed for modeling dynamic architectures based on the typed π-calculus. While most ADLs focus on describing stat...
متن کاملService-Oriented Architecture: Performance Issues and Approaches
The introduction of a Service-Oriented Architecture (SOA) can affect performance in a negative way. This exacerbates the application of SOA to systems for bulk data processing. This paper describes specific aspects of Service-Oriented Architectures that impact performance particularly. It discusses several approaches to these issues that are currently established and motivates the need for a fr...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Network and Communication Technologies
سال: 2020
ISSN: 1927-0658,1927-064X
DOI: 10.5539/nct.v5n2p15